how to get integer value from textbox in c